Computer science logic. - 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings

Författare
(Matthias Baaz, Johann A. Makowsky (eds.).)
Genre
Konferenspublikation
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer 2003 New York, New York p. cm.